bench_dir=$1
exec_bin=$2

pbs_dir=$bench_dir/pbs
create_pbs_bin=scripts/run_basic/syntcomp23/new_sed2.sh
mkdir -p $pbs_dir

sh $create_pbs_bin $bench_dir $exec_bin Two-player-Game/Nim/nim_01/System-first    > $pbs_dir/nim_01.pbs
sh $create_pbs_bin $bench_dir $exec_bin Two-player-Game/Nim/nim_02/System-first    > $pbs_dir/nim_02.pbs
sh $create_pbs_bin $bench_dir $exec_bin Two-player-Game/Nim/nim_03/System-first    > $pbs_dir/nim_03.pbs
sh $create_pbs_bin $bench_dir $exec_bin Two-player-Game/Nim/nim_04/System-first    > $pbs_dir/nim_04.pbs
sh $create_pbs_bin $bench_dir $exec_bin Two-player-Game/Nim/nim_05/System-first    > $pbs_dir/nim_05.pbs
sh $create_pbs_bin $bench_dir $exec_bin Two-player-Game/Nim/nim_06/System-first    > $pbs_dir/nim_06.pbs
sh $create_pbs_bin $bench_dir $exec_bin Two-player-Game/Nim/nim_07/System-first    > $pbs_dir/nim_07.pbs
# sh $create_pbs_bin $bench_dir $exec_bin Two-player-Game/Nim/nim_08/System-first    > $pbs_dir/nim_08.pbs
# sh $create_pbs_bin $bench_dir $exec_bin Two-player-Game/Nim/nim_09/System-first    > $pbs_dir/nim_09.pbs
# sh $create_pbs_bin $bench_dir $exec_bin Two-player-Game/Nim/nim_10/System-first    > $pbs_dir/nim_10.pbs

# sh $create_pbs_bin $bench_dir $exec_bin Two-player-Game/Nim/nim_11/System-first    > $pbs_dir/nim_11.pbs
# sh $create_pbs_bin $bench_dir $exec_bin Two-player-Game/Nim/nim_12/System-first    > $pbs_dir/nim_12.pbs
# sh $create_pbs_bin $bench_dir $exec_bin Two-player-Game/Nim/nim_13/System-first    > $pbs_dir/nim_13.pbs
# sh $create_pbs_bin $bench_dir $exec_bin Two-player-Game/Nim/nim_14/System-first    > $pbs_dir/nim_14.pbs
# sh $create_pbs_bin $bench_dir $exec_bin Two-player-Game/Nim/nim_15/System-first    > $pbs_dir/nim_15.pbs
# sh $create_pbs_bin $bench_dir $exec_bin Two-player-Game/Nim/nim_16/System-first    > $pbs_dir/nim_16.pbs
# sh $create_pbs_bin $bench_dir $exec_bin Two-player-Game/Nim/nim_17/System-first    > $pbs_dir/nim_17.pbs
# sh $create_pbs_bin $bench_dir $exec_bin Two-player-Game/Nim/nim_18/System-first    > $pbs_dir/nim_18.pbs
# sh $create_pbs_bin $bench_dir $exec_bin Two-player-Game/Nim/nim_19/System-first    > $pbs_dir/nim_19.pbs
# sh $create_pbs_bin $bench_dir $exec_bin Two-player-Game/Nim/nim_20/System-first    > $pbs_dir/nim_20.pbs
